/*
* Filename:
* Summary:	
*
* Author:
* Version:
* Finished time:
*/
#ifndef POPMENU_H
#define POPMENU_H
extern GtkWidget *pop_menu;
void NewPopMenu();
#endif
